Stat "count#Int" 16 9 False True v31 where {v15= Dyn c4d4e219 (); v16= Dyn c4d4e219 (); v17= Dyn c4d4e219 (); v18= Dyn c4d4e219 (); v19= Dyn c4d4e219 (); v20= Dyn c4d4e219 (); v21= Dyn c4d4e219 (); v22= Dyn c4d4e219 (); v23= Dyn c4d4e219 (); v24= Dyn c4d4e219 (); v25= Dyn c4d4e219 (); v26= Dyn c4d4e219 (); v27= Dyn c4d4e219 (); v28= Dyn c4d4e219 (); v29= Dyn c4d4e219 (); v30= Dyn c4d4e219 (); v31= [ v30,  v29,  v28,  v27,  v26,  v25,  v24,  v23,  v22,  v21,  v20,  v19,  v18,  v17,  v16,  v15,  v32]; v32= Dyn 6c7c14ae 0; }